Knihy od autora NAIJUN ZHAN

Zobrazeno 1 – 5 z 5 výsledků

1. 

   Formal Verification of Simulink/Stateflow Diagrams

   NAIJUN ZHAN | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3582 Kč

   Koupit
2. 

   Formal Verification of Simulink/Stateflow Diagrams

   Naijun Zhan, Shuling Wang, Hengjun Zhao | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3582 Kč

   Koupit
3. 

   Symposium on Real-Time and Hybrid Systems

   Cliff Jones, Ji Wang, Naijun Zhan | Springer Nature Switzerland AG, 2018

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
4. 

   Dependable Software Engineering: Theories, Tools, and Applications

   Martin Fränzle, Deepak Kapur, Naijun Zhan | Springer International Publishing AG, 2016

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1540 Kč

   Koupit
5. 

   Formal Methods

   Naijun Zhan, Corina Pasareanu | Springer Nature Switzerland AG, 2021

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 13-16 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3309 Kč

   Koupit

Knihy si můžete vyzvednout na mnoha místech po celé ČR. Zjistěte více